Consistency Checker Intermediate Code Prover Intermediate Code Diagnostics

The Espress project aims at a method for the development of safety-critical embedded technical systems which bases on strong mathematical concepts. To make such a method competetive with other approaches nowadays common in industrial practise it must be ultimatively supported by an elaborated set of tools integrated in a software development environment (SDE). Since the Espress project is not capable of developing all of the required tools alone, the need to reuse as many as possible existing tools arises to build at least a prototype of the desired environment. This working paper tackles the subject of integrating a loose \zoo" of existing tools together with newly written ones into a (more or less) integrated SDE for Espress. To this end, we rst sketch the kind of tools to be integrated in the envisioned Espress SDE on an intuitive level (as far as we can predict at the current stage of the project). We then discuss state-of-the-art concepts and techniques of the realization of SDEs.